Guidance for Def ( Aust ) 5679
نویسندگان
چکیده
The Australian Standard for safety-critical systems development, Def(Aust) 5679, was first released in 1998. As part of the release of Issue 2 (Department of Defence 2008) of the Standard, guidance material has been prepared to assist those who need to apply the Standard. The guidance is made up of three main parts: a case study that demonstrates how the Standard can be applied to an example safety critical system, Issues Guidance Papers that further explain key concepts or requirements of the Standard, and Data Item Descriptions (DIDs) that, for each of the documents required by the Standard, describe how the document is to be structured. This paper describes the guidance material that was prepared for Issue 2 of the Standard.
منابع مشابه
Revision of Australian Defence Standard Def ( Aust ) 5679
The Australian Defence Standard Def (Aust) 5679, entitled “The Procurement of Computer-Based Safety-Critical Systems”, was originally published in August, 1998. Def (Aust) 5679 is currently undergoing revision. This paper describes the standard and discusses the issues that have been highlighted during the revision process.
متن کاملDOVE: A Tool for Design Modelling and Verification in Safety Critical Systems
Safety critical computer-based systems are now in widespread use in Defence. A number of current standards such as the UK Defence Standards 0055 and 00-56 and the recently proposed Def (Aust) Standard DR5679 require the use of formal mathematical modeling and reasoning to provide sufficient assurance of safety of system design. The analysis of system design at an early stage is a crucial step i...
متن کاملEstimating within-study covariances in multivariate meta-analysis with multiple outcomes
Multivariate meta-analysis allows the joint synthesis of effect estimates based on multiple outcomes from multiple studies, accounting for the potential correlations among them. However, standard methods for multivariate meta-analysis for multiple outcomes are restricted to problems where the within-study correlation is known or where individual participant data are available. This paper propos...
متن کاملThe Relationship Between High-Order Aberration and Anterior Ocular Biometry During Accommodation in Young Healthy Adults
Purpose This study investigated the anterior ocular anatomic origin of high-order aberration (HOA) components using optical coherence tomography and a Shack-Hartmann wavefront sensor. Methods A customized system was built to simultaneously capture images of ocular wavefront aberrations and anterior ocular biometry. Relaxed, 2-diopter (D) and 4-D accommodative states were repeatedly measured i...
متن کامل